English programming in logic: tłumaczenie na inne języki